Computable function

Results: 170



#Item
41Mathematical logic / Computable function / Computable number / Computable analysis / Computable real function / Specker sequence / Enumeration / Computability / Numbering / Computability theory / Theory of computation / Theoretical computer science

Preface Computable analysis is a branch of computability theory studying those functions on the real numbers and related sets which can be computed by machines such as digital computers. The increasing demand for reliab

Add to Reading List

Source URL: www.fernuni-hagen.de

Language: English - Date: 2009-09-05 02:34:00
42Mathematical logic / Theory of computation / Computable number / Computable function / Bounded quantifier / Computable real function / Function / Oracle machine / Decision problem / Computability theory / Theoretical computer science / Mathematics

arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-04-30 22:29:41
43Computer science / Turing machine / Models of computation / Alan Turing / Computable function / Computability / Busy beaver / Universal Turing machine / Computability theory / Theoretical computer science / Theory of computation

Math 260ABC Introduction to Mathematical Logic Fall 1988-Sprint 1989 Instructor: Sam Buss Department of Mathematics University of California, San Diego

Add to Reading List

Source URL: euclid.ucsd.edu

Language: English - Date: 2009-01-29 21:32:37
44Computer science / Halting problem / Computability / Universal Turing machine / Turing machine / Computable function / Church–Turing thesis / Algorithm / Alan Turing / Computability theory / Theoretical computer science / Theory of computation

Universal Field Machine that Computes Beyond the Turing Limit  ´ M. Fernandez ´ Julian

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:17
45Computer science / Computability theory / Hypercomputation / Oracle machine / Computability / Digital physics / Halting problem / Computable function / Decision problem / Theoretical computer science / Applied mathematics / Theory of computation

How to Acknowledge Hypercomputation?

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:37:05
46Cognitive science / Ethology / ACT-R / Computable function / Cognition / Science / Mind / Cognitive architecture

PDF Document

Add to Reading List

Source URL: fpt.wdfiles.com

Language: English - Date: 2013-02-02 11:05:18
47Elasticity / Consumer theory / Constant elasticity of substitution / Econometrics / Cobb–Douglas production function / Computable general equilibrium / Elasticity of substitution / Production function / Leontief production function / Microeconomics / Economics / Utility

Analysing effects of energy policy by linking the TIMES-Norway with a multi-regional SCGE model 63rd Semi-annual ETSAP meeting

Add to Reading List

Source URL: www.iea-etsap.org

Language: English - Date: 2013-07-16 07:36:44
48Computability theory / Theory of computation / Quantum measurement / Alan Turing / Quantum mechanics / Church–Turing thesis / Computable function / Quantum indeterminacy / Indeterminacy / Theoretical computer science / Physics / Science

The Origin of Physical Laws and Sensations Bruno Marchal, IRIDIA, Université de Bruxelles Résumé : I will first present a non constructive argument showing that the mechanist hypothesis in cognitive science gives enou

Add to Reading List

Source URL: iridia.ulb.ac.be

Language: English - Date: 2007-06-27 08:53:52
49NP-complete problems / Analysis of algorithms / Computability theory / Complexity classes / Parameterized complexity / Dominating set / Time complexity / Computable function / Parameter / Theoretical computer science / Computational complexity theory / Applied mathematics

1 Fixed-Parameter Tractability In this chapter, we introduce parameterized problems and the notion of fixed-parameter tractability. We start with an informal discussion that highlights the main issues behind the definiti

Add to Reading List

Source URL: lii.rwth-aachen.de

Language: English - Date: 2014-02-04 08:14:43
50Demand / Elasticity / Computable general equilibrium / Cobb–Douglas production function / Production function / Supply / Income elasticity of demand / Price elasticity of demand / Productivity / Economics / Consumer theory / Microeconomics

An Econometric Input-output model for EU countries based on Supply & Use tables: the production side Frederik NEUWAHL*, Andreas UIHLEIN and Aurelien GENTY European Commission, Joint Research Centre, Institute for Prospec

Add to Reading List

Source URL: www.iioa.org

Language: English - Date: 2009-10-17 10:15:31
UPDATE